161. Automata and computability /
پدیدآورنده : Dexter C. Kozen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computable functions.,Machine theory.,Abstracte automaten.,Automatentheorie.,Automates mathématiques, Théorie des.,Berechenbarkeit,Berekenbaarheid.,Complexité de calcul (informatique),Computable functions.,Endlicher Automat,Fundamentele informatica.,Kellerautomat,Kontextfreie Grammatik,Machine theory.,Machines séquentielles, Théorie des.,Reguläre Menge,Turing, Machines de.,Turing-Maschine
رده :
QA267
.
K69
1997eb
162. Automata, languages and programming :
پدیدآورنده : J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
163. Automated Deduction -- CADE-12 :
پدیدآورنده : edited by Alan Bundy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
164. Automorphic Pseudodifferential Analysis and Higher Level Weyl Calculi
پدیدآورنده : by André Unterberger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Differential equations, Partial.,Global analysis.,Mathematics.,Number theory.,Operator theory.,Quantum theory.,Topological Groups.
166. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
167. Baltic Computer Science :
پدیدآورنده : by Janis Barzdins, Dines Bjorner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
B953
1991
168. Basic Mathematics for Economists.
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Business mathematics.,Economics, Mathematical.,Business mathematics.,Economics, Mathematical.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.
رده :
HB135
169. Basic engineering mathematics /
پدیدآورنده : John Bird.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Engineering mathematics, Problems, exercises, etc.,Engineering mathematics.,Engineering mathematics.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.
رده :
TA330
.
B513
2005eb
170. Basic probability theory for biomedical engineers
پدیدآورنده : / John D. Enderle, David C. Farden, Daniel J. Krause
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Probabilities,Random variables
رده :
E-BOOK
171. Basic real analysis /
پدیدآورنده : Houshang H. Sohrab
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Mathematical analysis.
رده :
QA300
172. Bayesian models :
پدیدآورنده : N. Thompson Hobbs and Mevin B. Hooten.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Bayesian statistical decision theory.,Ecology-- Statistical methods.,Bayesian statistical decision theory.,Ecology-- Statistical methods.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,SCIENCE-- Life Sciences-- Ecology.
رده :
QA76
.
618
.
H384
2015eb
173. Bayesian networks for probabilistic inference and decision analysis in forensic science
پدیدآورنده : \ Franco Taroni, Alex Biedermann, Silvia Bozza, Paolo Garbolino, Colin Aitken
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Bayesian statistical decision theory -- Graphic methods,Uncertainty (Information theory)-- Graphic methods,Forensic sciences-- Graphic methods,MATHEMATICS / Probability & Statistics / General.,نظریه تصمیم گیری آماری بیزی -- روش های گرافیکی
رده :
E-Book
,
174. Before calculus
پدیدآورنده : Louis Leithold
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع : Mathematics
رده :
512
,.
1
,
L53
,
Ed
.
2
175. Before calculus : functions, graphs, and analytic geometry
پدیدآورنده : Leithold, Louis
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Mathematics -- 1691-
رده :
QA
39
.
2
.
L44
1985
176. Beginning pre-calculus for game developers /
پدیدآورنده : John P. Flynt, Boris Meltreger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Calculus.,Computer games-- Programming.,Video games-- Design.,Calculus.,Calculus.,Computer games-- Programming.,Computer games-- Programming.,GAMES-- Video & Electronic.,Video games-- Design.,Video games-- Design.
رده :
QA76
.
76
.
C672
F5893
2007eb
177. Bijective combinatorics
پدیدآورنده : Nicholas A. Loehr
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Combinatorial analysis
رده :
QA
164
.
L66B5
2011
178. Biocalculus :
پدیدآورنده : James Stewart, McMaster University and University of Toronto, Troy Day, Queen's University.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Calculus-- Study and teaching (Higher),Life sciences-- Mathematics.,Calculus-- Study and teaching (Higher),Life sciences-- Mathematics.
رده :
QA303
.
2
.
S7246
2016
179. Biocalculus :
پدیدآورنده : James Stewart, Troy Day
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Calculus-- Study and teaching (Higher),Life sciences-- Mathematics
رده :
QA303
.
2
.
S737
2015
180. Biocalculus :
پدیدآورنده : James Stewart, Troy Day.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Calculus-- Study and teaching (Higher),Life sciences-- Mathematics.,Calculus-- Study and teaching (Higher),Life sciences-- Mathematics.
رده :
QA303
.
2
.
S737
2016
